<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>VOLT 2014 @ STAF</title>
<meta name="keywords" content="model transformation, verification, model-driven engineering, MDE, validation, automatic test generation, UML, model-based testing, model transformation testing"/>
<link rel="shortcut icon" href="favicon.gif" type="image/x-icon">
<link rel="icon" href="favicon.gif" type="image/x-icon">
<link href="data/volt.css" rel="stylesheet" media="screen">
<script language="JavaScript">
<!--
if (parent != self)
   parent.location = 'index.html';
  -->
</script>

<script type="text/javascript">

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-3117335-10']);
  _gaq.push(['_gat._anonymizeIp']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

</script>

</head>
<body>
<div align="center">
  <table class="boundary" cellpadding="0" border="0" width="750">
    <!-- Banner -->
    <tbody><tr>
      <td colspan="2">
        <img src="data/volt14banner.png" alt="VOLT 2014" width="100%">
      </td>
    </tr>

    <!-- Content -->
    <tr>
      <!-- Menu -->
      <td class="topAligned" width="23%">
        <p class="sideMenu"><a class="ClassA" href="index.html">Home</a></p>
        <p class="sideMenu"><a class="ClassA" href="program.html">Program</a></p>
        <p class="sideMenu"><a class="ClassA" href="calls.html">Call For Papers</a></p>
        <p class="sideMenu"><a class="ClassA" href="submission.html">Submission</a></p>
        <p class="sideMenu"><a class="ClassA" href="organizers.html">Committees</a></p>
        <p class="sideMenu"><a class="ClassA" href="importantDates.html">Important Dates</a></p>
        <p class="sideMenu"><a class="ClassA" href="previousEditions.html">Previous Editions</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://stafconferences.info/">STAF 2014</a></p>
        <p class="sideMenu"><a class="ClassA" href="contacts.html">Contacts</a></p>

        <p class="contents">
        <hr/>
        <h2>News</h2>

        <center>
	   -- 28.02.2014 --<br/>
       VOLT 2014 website is online<br/>
        </center>
        </p>
	 </td>

      <!-- Body content -->
      <td class="contents" width="77%">
	  <h1> VOLT Program </h1>

      <center>

	  <h2>Session 1 11:00 - 12:30</h2>
	   Welcome & Introduction 11:00 - 11:10<br/><br/>

	   <em>Checking Transformation Model Properties with a UML and OCL Model Validator</em><br/>
	    Martin Gogolla, Lars Hamann and Frank Hilken 11:10 - 11:35<br/>
		<a href="papers/volt2014_paper_1.pdf">paper</a>,<a href="slides/presentation1.pdf">slides</a><br/><br/>

	   <em>Language-independent model transformation verification</em><br/>
	    Kevin Lano, Shekoufeh Kolahdouz Rahimi and Tony Clark 11:35 - 12:00<br/>
		<a href="papers/volt2014_paper_2.pdf">paper</a>,<a href="slides/presentation2.pdf">slides</a><br/><br/>

	   <em>Null considered harmful (for transformation verification)</em><br/>
	    Kevin Lano 12:00 - 12:25<br/>
		<a href="papers/volt2014_paper_3.pdf">paper</a>,<a href="slides/presentation3.pdf">slides</a><br/><br/>

	    Short summary & discussion 12:25 - 12:30<br/><br/>


	  <h2>Lunch Break & STAF Keynote 12:30-16:00</h2><br/>


	  <h2>Session 2 16:00 - 18:00</h2>

	   <em>MocOCL: A Model Checker for CTL-Extended OCL Specifications</em><br/>
	    Sebastian Gabmeyer, Robert Bill, Petra Kaufmann and Martina Seidl 16:00 - 16:25<br/>
		<a href="papers/volt2014_paper_4.pdf">paper</a>,<a href="slides/presentation4.pdf">slides</a><br/><br/>

	   <em>Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars</em><br/>
	    Nico Nachtigall, Frank Hermann, Benjamin Braatz and Thomas Engel 16:25 - 16:50<br/>
		<a href="papers/volt2014_paper_5.pdf">paper</a>,<a href="slides/presentation5.pdf">slides</a><br/><br/>

	    Brainstorming & Summary 16:50 - 18:00<br/><br/>

      </center>

	  </p>
      </td>
    </tr>

    </tbody>
    </table>
    </div>
  </body>
</html>